University of Birmingham

Results: 2922



#Item
411

Characterizing Recursive Programs Up To Bisimilarity Paul Blain Levy University of Birmingham Abstract A recursive program is determined, up to bisimilarity, by the operation of the recursion body on arbitrary processes,

Add to Reading List

Source URL: www.cs.bham.ac.uk

Language: English - Date: 2010-08-03 07:44:37
    412

    Stormwater as a Resource in the Urban Water Cycle: A Case Study in the SWITCH Demonstration City of Birmingham, UK. J Bryan Ellis* and D Michael Revitt Urban Pollution Research Centre Middlesex University, The Burroughs,

    Add to Reading List

    Source URL: www.switchtraining.eu

    Language: English - Date: 2011-05-17 08:20:22
      413

      Similarity Quotients as Final Coalgebras Paul Blain Levy? University of Birmingham, UK

      Add to Reading List

      Source URL: www.cs.bham.ac.uk

      Language: English - Date: 2011-04-02 14:59:57
        414

        Semantics of nondeterminism Paul Blain Levy University of Birmingham November 17, 2009

        Add to Reading List

        Source URL: www.cs.bham.ac.uk

        Language: English - Date: 2009-11-17 12:32:19
          415

          Sixth international Conference on competition and ownership in land passenger transport Author: Paul Truelove Department of Civil Engineering, Aston University, Gosta Green, Birmingham B4 7ET, UK.

          Add to Reading List

          Source URL: www.thredbo-conference-series.org

          Language: English - Date: 2008-11-20 17:52:03
            416

            Transition systems over games Paul Blain Levy Sam Staton University of Birmingham

            Add to Reading List

            Source URL: www.cs.bham.ac.uk

            Language: English - Date: 2014-12-19 05:50:33
              417

              A Numeracy Refresher V2. January 2005 This material was developed and trialed by staff of the University of Birmingham Careers Centre and subsequently used

              Add to Reading List

              Source URL: mathcentre.ac.uk

              Language: English - Date: 2009-12-03 04:34:58
                418

                Martin Culliney Institute of Applied Social Studies University of Birmingham 

                Add to Reading List

                Source URL: www.social-policy.org.uk

                Language: English - Date: 2014-04-30 10:52:59
                  419

                  Professor Furmston Michael (Professor of Law, Singapore Management University, School of Law) Michael studied law at the University of Oxford and taught at the University of Birmingham, Queen’s University, Belfast and

                  Add to Reading List

                  Source URL: www.law-conference.org

                  Language: English - Date: 2014-10-30 04:17:42
                    420

                    Points in geometric point-free topology -- Abstract Steve Vickers (School of Computer Science, University of Birmingham) Talk given at Workshop on Constructive Topology, Palermo, September 2010 This work is not new, but

                    Add to Reading List

                    Source URL: www.cs.bham.ac.uk

                    Language: English - Date: 2010-09-13 03:33:33
                      UPDATE